餘 monoid